Spiking Neural P Systems with Anti-Spikes as Transducers
نویسندگان
چکیده
In this paper, we consider spiking neural P systems with antispikes. Because of the use of two types of objects, the system can encode the binary digits in a natural way and hence represent the formal models more efficiently and naturally than the standard SN P systems. This work deals with the computing power of spiking neural P system with anti-spikes. It is demonstrated that, as transducers, spiking neural P systems with anti-spikes can simulate any Boolean circuit and also computing devices such as finite automata and finite transducers. We also investigate how the use of anti-spikes in spiking neural P systems affect the capability to solve the satisfiability problem.
منابع مشابه
Parallel Programming in Spiking Neural P Systems with Anti-Spikes
In spiking neural P systems with anti-spikes, integers can be represented as the number of spikes/anti-spikes present in a neuron. Thus it is possible to represent increment, decrement, relational operations and assignment statements using spiking neural P systems. With these basic structures, it is also possible to represent programming language constructs like conditional, iterative and diffe...
متن کاملSpiking neural P systems with anti-spikes and without annihilating priority working in a 'flip-flop' way
Spiking neural P systems with anti-spikes (shortly named ASN P systems) are a class of distributed and parallel neural-like computing systems. Besides spikes, neurons in ASN P systems can also contain a number of anti-spikes. Whenever spikes and anti-spikes meet in a neuron, they annihilate each other immediately in a maximal manner, that is, the annihilation has priority over neuron’s spiking....
متن کاملSpiking Neural P Systems with Anti-Spikes and without Annihilating Priority as Number Acceptors
Spiking neural P systems with anti-spikes (ASN P systems, for short) are a variant of spiking neural P systems, which are inspired by inhibitory impulses/spikes or inhibitory synapses. The typical feature of ASN P systems is when a neuron contains both spikes and anti-spikes, the spikes and anti-spikes will immediately annihilate each other in a maximal way. In this work, we consider a restrict...
متن کاملComputability of Spiking Neural P Systems with Anti-spikes
Biologically inspired computing which is a branch of natural computing is the field of investigation that draws upon metaphors or theoretical models of biological systems in order to design computational tools or systems for solving complex problems. Spiking neural P systems [2] (shortly called SN P systems) are parallel and distributed computing models inspired by the neurobiological behaviour...
متن کاملRepresentation of Spiking Neural P Systems with Anti-spikes through Petri Nets
Spiking Neural P(SN P) system with anti-spikes uses two types of objects called spikes and anti-spikes which can encode binary digits in a natural way. We propose a formal method based on Petri nets, which provides a natural and powerful framework to formalize SN P systems with anti-spikes. This enables the use of existing tools for Petri nets to study the computability and behavioural properti...
متن کامل